The file "REL-5-MM7-1-0" is exactly that which appears within "REL-5-MM7-1-0.zip" as "REL-5-MM7-1-0.xsd".  It is brought out as an uncompressed file with no file extension on request of the rapporteur of TS 23.140, since the URL specifies exactly this file.
JMM 2002-10-04