so, habe die datei mal durch den converter gezogen, und siehe da,

es ist wohl wrklich m5. also hat sich die geschichte schonmal erledigt.

was nicht heißt, dass das tool ne kleine optimierung trotzdem vertragen

könnte...aber dazu vll später mal,hab grad keine zeit.

--
just my 2 cent ... oops, lost them