https://www.dict.cc/english-german/One+man%27s+joy+is+another+man%27s+sorrow.html