Die
Armeniusmarkthalle,
1892 eröffnet, war einst eine von zehn Markthallen der Stadt.
