Heinrich von Ofterdingen — novel by Novalis