att i qvarteret Riddarholmen här i staden uppföras en ny byggnad för Kongl.