Deutsches Rechtswörterbuch (DRW): Gerichtsdiener