CNN: A pig farm that stood on the site of a Nazi-era ‘Roma camp’ is finally demolished