Please my comment regarding posting such info with an OSM username:

https://www.openstreetmap.org/note/3735783

Note that OSM is not an archive of historical information.  We map a building's name and function today.  If historical information is published elsewhere we can link to it.