https://www.dict.cc/english-german/He+happened+to+be+there+at+the+time.html