Wie viel verdient ein Bundesrichter?