Extension of CR maps of positive codimension · wovepaper