Deutsches Rechtswörterbuch (DRW): Gotteshausdiener