tilläggsplats ( Riddarholmens norra ända ).