I would hope so, since presumably the storage devices on that server would either be resold or sent to a dump.
The info on those storage devices (assuming backups/existence of that data elsewhere for government data retention purposes) should not be let out into the wild.
In fact, I (and I don't work/exist in areas with confidential data) have a dozen or so hard drives that sit in a closet as I don't have the interface cards (any more) to hook them up and securely delete the data.
Eventually I'll probably purchase a bulk eraser[0], but until then, those disks will sit in my closet as my business is my business and no one else's.
[0] https://www.amazon.com/Degausser-Electricity-Required-Mainte...
On sale, now only $3,990.00 (previously $6,999.99).
An interesting idea and one I hadn't considered. Thanks!
I made a cool spiral chandelier out of fishing wire and hard drive parts. The platters don't chime as harmoniously as I had hoped, but it still worked out great - and I have enough super fridge magnets to last the rest of my life.
https://www.denverpost.com/2016/09/03/fbi-report-platte-rive...
In other words, crimes were probably committed but the FBI dropped the investigation because they figured that no prosecutor would file charges in the case.