om pensionsrätt för den mängärigechefen