https://www.dict.cc/english-german/If+these+boards+are+to+be+replaced.html