Deutsches Rechtswörterbuch (DRW): Obersthofmarschalldienst