Removing obsolete files (C.Holm)