Translation of "Offizialisieren" in English