Wie heißt Deutschlands zweithöchster Berg?

Wertet man den "Schneefernerkopf" als eigenständigen Berg, so ist dieser mit 2875 Metern der zweithöchste Berg Deutschlands. Von vielen wird er aber als Teils des Zugspitzmassives angesehen. Wenn das so ist, dann wäre der  "Hochwanner" mit 2744 Metern der zweithöchste Berg Deutschlands.