för pensioneringen af personalen vid lotsstyrelsen