Ich habe es mal umbenannt in "Bosch Quartier" da dies am meisten verwendet wird. So einen richtigen Namen scheint es aber nicht zu geben. Bzgl. der Gebäudenamen scheint es keine öffentliche Quelle zu geben. Wenn Kenntnisse bestehen am besten jedes Gebäude eine eigene Notiz.