https://www.dict.cc/english-german/There+is+yet+time.html