I deleted this feature since OSM specifically states it doesn't include historical features (https://www.openstreetmap.org/welcome). I've also not seen any indication that it was the old town hall. I'll double-check when I'm around for a plaque or some indication, but unless I find something, I think it should be deleted.