https://www.dict.cc/english-german/Overtime+shall+be+compensated+by+granting+paid+time+off+in+lieu.html