https://www.dict.cc/englisch-deutsch/the+greatest+happiness+of+the+greatest+number.html