Text this: Management of atrial fibrillation in German military aircrew