Behållningen tillfaller arbetsklassens pensionskassa.