https://www.dict.cc/german-english/Vari%C3%A9t%C3%A9.html