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