högtidligen i embetet den 23 dennes.