https://www.dict.cc/english-german/theory+of+measure+and+integration.html