Deutsches Rechtswörterbuch (DRW): Hochamtsprotokoll