Translation of "Formula one" in German