Translation of "Frau prof. dr." in English