K 10 svn:author V 3 bde K 8 svn:date V 27 1997-04-15T08:05:08.000000Z K 7 svn:log V 34 Removed more traces of ISODEVMAP. END