Stav dette: The theory of irony in German romanticism