11.3.3 Isolated element export

There are two other macros for the exports:

The format off is a format of the geomview software.