( 2015/10/23: this file was emptied; see eccov4.pdf instead. )