Originally named Gerhiltebrunnen (well of Gerhilt), it was also called Gerolzbrunn, Geroldbrunn, Gerltbrunn or Gerhartsbrunn, until in the 17th century the current name became common.
Ursprünglich Gerhiltebrunnen genannt, wurde es auch als Gerolzbrunn, Geroldbrunn, Gerltbrunn oder Gerhartsbrunn bezeichnet, bis im 17. Jahrhundert der heutige Name in Gebrauch kam.