Ironie ist die Kunst, im Voraus zu wissen, was man später bereut.