Erinnerung an das Fest der Dom-Vollendung am 15. und 16. October 1880 und Festprogramm zur Vollendungs-Feier