Interessante Frage. Derjenige, der das hier eingetragen hat, hat "Kurhannoversche Landesaufnahme" als Note verwendet. Leider sind die zugehörigen Kartendaten nicht frei verfügbar. Hier: https://landkartenarchiv.de/vollbild_historischestadtplaene.php?q=landkartenarchiv_bergstadt_sankt_andreasberg_1938 und auf meiner Harzwanderkarte aus den 80er Jahren ist das Rote Bruch nordnordöstlich der Achtermannshöhe eingetragen.