DIE GASTRONOMIE IM PUMPENHAUS AN DER JAHRHUNDERTHALLE BOCHUM BLEIBT BIS AUF WEITERES GESCHLOSSEN.