Wie viel verdient ein Beamter in Hamburg?