Då konungen lemnade katedralen,