German tourist loses arm in Hawaii shark attack

A German tourist swimming off a Hawaii beach has lost an arm in a shark attack…