och byggnader å Riddarholmen må kunna vare sig genom köp eller byte förstatsverkets