19th-century Tin Shop demolished in Batavia after failed attempts to save building