Wie viel verdient ein Verfassungsrichter?