Wie viel verdient ein Richter im Monat?