Wie viel verdient ein Justizbeamter?