https://www.dict.cc/deutsch-englisch/Operationen+und+Prozedurenschl%C3%BCssel.html