https://www.dict.cc/english-german/variety+theatre.html