Describir: Quantification of atrial tachyarrhythmia burden with an implantable pacemaker before and after pulmonary vein isolation.