Was verdient ein Beamter in Hamburg?