Prevention of long-lasting atrial fibrillation through antitachycardia pacing in DDDR pacemakers