Doevendans, Pieter, Department of Cardiology, University Medical Center Utrecht, Utrecht, The Netherlands; Central Military Hospital Utrecht, Utrecht, The Netherlands; Netherlands Heart Institute Utrecht, Utrecht, The Netherlands, Netherlands