Was verdient man als Richter netto?