och konungen ett högtidligt Te Deum den 9.