removing obsolete file (content of this file was moved into another file)