Translation of "Univalently" in German