https://www.dict.cc/english-german/D+sub+shell.html