First working version, only for Ifc2x3tc1