Hi Bodo-Lutz - re: unit system, the 3DM file you posted does not have units set to mm, it has it set to "no unit system".

You should go to Options > General and set Unit system = Millimeters to set units for this file before exporting it.

- Michael