https://www.dict.cc/deutsch-englisch/%C3%BCberwendlicher+Stich.html