https://www.dict.cc/englisch-deutsch/paid+time+off.html