Anton Ruland (1809-1874): Bibliothekar und Handschriftenforscher - Petersen, Stefan (Kulturstadt Würzburg, 2013)