https://www.dict.cc/german-english/Extensionsh%C3%BClse.html