module Carmen::CarmenISO4217