Understanding the Destructor in C# (www.digcode.com)