Die Marienbibliothek in Halle (Saale) - Eisenmenger, Karsten (DKV-Kunstführer, 2009)