Translation of "Machine-independent" in German