Deutsches Rechtswörterbuch (DRW): (Binnendiener)