https://www.dict.cc/english-german/needle+shortening+pine+gall+midge.html