Cardiac resynchronization therapy defibrillators in patients with permanent atrial fibrillation