( s. k. Tjenstemannaqvarteret ).