https://www.dict.cc/german-english/gesetzt+den+Fall+dass.html