och byggnader å Riddarholmen måtte kunna förstatsverkets