Digital recording of high-definition television programmes for international exchange