German tourist loses her arm in Hawaii shark attack