Wie viel verdient ein bundesverfassungsrichter?