Jeroen Bosch Ziekenhuis, Den Bosch