https://www.dict.cc/german-english/Euler%27scher+Winkel.html