German tourist dies after losing her arm in Hawaii shark attack