https://www.dict.cc/german-english/gehobener+%C3%B6ffentlicher+Dienst.html