Gravar-mail: DE-MRI allows comparison of lesion formation after pulmonary vein isolation with different ablation catheters in patients with paroxysmal atrial fibrillation