Gran Canaria: Deutscher Tourist (†80) im Hotelpool ertrunken