Woher kommt die Bezeichnung "Berg-und-Graben-Gupf"? Mir ist schon klar, dass diese Gegend in vielen Kartenwerken "Berg und Graben" heißt, aber für den Gipfel habe ich noch keinerlei Bezeichnung finden können. Quellen?