https://www.dict.cc/english-german/pusher+craft.html