Wie hoch ist die Pension von einem Oberstleutnant?