Wie viel verdienen Richter netto?