https://www.dict.cc/german-english/Muss+das+denn+sein.html