Ehemals Reichsstädtische Bibliothek Lindau.