Am Pfingstwochenende haben in der Domstadt die "Tage Alter Musik" stattgefunden. Es war Einiges geboten.