https://www.dict.cc/englisch-deutsch/if+time+permits.html