Wie viel verdient ein Richter am Bundesgerichtshof?