högtidsdag den 9 dis.