Regierungsdirektor - official title for civil servants in the higher civil service in Germany