Die Erwähnung des Bergbaus in der Evangelienharmonie des Mönches Otfried von Weißenburg