https://www.dict.cc/german-english/Petroleum%C3%A4ther.html