https://www.dict.cc/englisch-deutsch/interface+description+language.html