Was verdient ein Oberster Richter?