Правильно у вас написано. Можно так можно с елочками. Но не с одинарной кавычкой, в русском тексте это не принято.
В любом случае кавычки должны быть русские. Т. е. елочки и лапочки. Вы же в русский текст вставляете цитату, совершенно не важно, на каком языке она написана.
Впрочем, есть вариант в русском тексте иноязычную цитату вообще не закавычивать. Но эта идея имеет ограниченное употребление.
В отношении внутренних и внешних лапочек и елочек соответственно - не обольщайтесь, что "так принято". Встречал и обратную рекомендацию. А сам считаю вкусовщиной, по правилам внутренние и внешние должны быть разного рисунка. Остальное - не регламентируется. Тем более, если уровень вложенности более двух - я видел вполне реальную фразу с четырьмя вложенными "матрешками" их кавычек. Никаких елочек не напасешься.
И еще. Классические лапочки в русском наборе имеют разный рисунок для открывающей и закрывающей кавычки - как перевернутая и обычная запятая. Знак <"> - это принятая в компьютерном наборе замена. Но на эти тонкости давно рукой махнули.