för pensionsanstalten för tjenstehjon i ledighetefter