Was verdient ein Richter am Bundesfinanzgericht?