Etchants for use in the manufacture of semiconductors; etchants for use in the manufacture of semiconductors which are also usable as etchant residue removing preparations for use in the etching process