gehalt eines richters