Hi, we're discussing the elevation of Sargdeckel (https://www.openstreetmap.org/node/3914828535), which has been changed in this edit from 1685 to 1706. May I ask what your sources are? Most topographic maps say otherwise. Thanks in advance!