till högtidsdags firande torsdagen den 5 december 1872 kl. 7 e. m.