är fortfarande Riddarholmen n:r 7 och 9 ( Gamla gymnasii lokal .)