Ironie ist der Humor intelligenter Menschen.

.