meddelade för några dagar sedan en uppgift om de förnämsta tyska embetsmännens löner.