And while many examples of true irony can be funny, that is not the driving factor of being ironic.
Und obwohl viele Beispiele  wahrer Ironie witzig sein können, ist das nicht die Haupteigenschaft von Ironie.