Karin Ulrike Stei, 47, of Konstanz, Germany is tended to by rescue workers after being attacked by a shark in Vero Beach. Contributed photo/Vero Beach Police Department

Karin Ulrike Stei, 47, of Konstanz, Germany is tended to by rescue workers after being attacked by a shark in Vero Beach.
Contributed photo/Vero Beach Police Department