pension of an official - German English Dictionary