och magasin vid Riddarholmen.