Romantische Perspektiven auf den Bergbau. Novalis¿ "Heinrich von Ofterdingen", E. T. A. Hoffmanns "Die Bergwerke zu Falun" und Heinrich Heines "Die Harzreise"