Was verdient ein Richter in Bayern netto?