Definition of irony:

irony

1. A statement that, when taken in context, may actually mean the opposite of what is written literally
2. Colloq. The quality or state of an event being both coincidental and contradictory in a humorous or poignant and extremely improbable way.

[60th anniversary of the liberation of Mauthausen camp]