Object destruction versus finalization

[Florian]

I understood very well, that the garbage collector is not 
guaranteed to run. However, it does not explain the segmentation 
fault in my example, does it?