Ironie ist der Humor intelligenter Menschen.