Die Dante-Sammlung von Franz Xaver Kraus in der Stadtbibliothek Trier