Deutsches Rechtswörterbuch (DRW): Hospitalienmühle