nuvarande och f. d. elevläggningslokal ( KavallerietR.