kuhni74
nur weil Namen aus welchen Gründen auch immer in Vergessenheit geraten sind, sollte man sie keinesfalls löschen, sie können ja wieder verwendet werden. Der Mühlbachernock ist zweifellos der unbedeutendste der drei und hätte dann als einziger einen Namen?