Riddarholmen , för hvilket kostnaden sanuolikt uppgått till omkring 6 , 000 , 000 kr.