https://www.dict.cc/english-german/the+first+time+as+tragedy+the+second+time+as+farce.html