Translation of "Devault" in German