https://www.dict.cc/englisch-deutsch/Time+was+too+short+for+us+to.html