Delete procedure.txt

This file is not needed anymore, because I can do this through the forum and mail.