Riddarholmen , för hvilket kostnaden sannolikt uppgått till omkring 6 000 000 kronor.