Název Cirkelstein doložen na mapách z 16. století.