Ich bin auch drüber gestolpert, und habe das gemäß einem Artikel im Hamburger Abendblatt von 2008 ergänzt, bzw. das Beamtengehalt gestrichen: Ab spätestens 1970 war er im Ruhestand, da gab es sowieso kein "Gehalt" mehr, und den Zusammenhang zwischen dem Beamtensold und der Vergütung durch den Nebenarbeitgeber sehe ich auch nicht wirklich. --Datei:Scorpion insignia black.png  Cimbail 12:15, 27. Apr. 2019 (CEST)