hade konungen haft tid att personligen sörja för bygnadsarbetets fortgång ; derföre föll det honom också på förstamåndagen