Hi Mizuna, what do you mean with 'name is correct'.  The new name (Centrale Werkplaats as of https://www.openstreetmap.org/changeset/120375336), or the old one, where this (entire) building was called 'Hal 5'?  FWIW, I left the issue open, since ideally the building should be split into 3 seperate (but connected) buildings: Hal 4, tussenhal and Hal 5...