Liikku kuntokeskus

Height of Pico del Teide 3718 or 3715m?
Should it be changed to 3715 according the the measurements?

Wikidata currently references both elevations.
https://www.wikidata.org/wiki/Q38954
German wikipedia has been updated to 3715m:
https://de.wikipedia.org/wiki/Teide

reference is an article and IGN: https://www.teneriffa-news.com/teide/spaniens-hoechster-berg-kleiner-als-gedacht-der-teide-ist-nicht-3718-meter-hoch_12163.html

"expendedoras junto a la entrada"
POI has no name
POI types: amenity-atm
OSM data version: 2018-05-26T22:39:02Z
#mapsme

Sanatorio is place=hamlet; should it be changed to place=locality as nobody lives here?

Balneario de Santa Cruz

"nicht mehr"
The place has gone or never existed. This is an auto-generated note from MAPS.ME application: a user reports a POI that is visible on a map (which can be outdated), but cannot be found on the ground.
POI name: Carmen
POI types: shop-convenience
OSM data version: 2018-03-16T17:06:02Z
#mapsme

not drinkable