Hatte Hölderlin Humor?