gehalt von richtern