Deutsches Rechtswörterbuch (DRW): Hofmarschallamtshaus