[timeout:300][out:json]; ( node(around:1000,47.80168,7.76746)[natural=peak][name]; way(around:1000,47.80168,7.76746)[natural=peak][name]; rel(around:1000,47.80168,7.76746)[natural=peak][name]; ); out center tags;
Die Sirnitz, auch Sirnitzkopf oder Hohe Sirnitz, ist ein 1114,4 m ü. NHN hoher Berg im Südschwarzwald in Baden-Württemberg.
found a single match candidate
mountain (Q8502) | natural=peak |