The German term "Tonleiter" matches the English term "gamut, key, scale"