La Petit Ventron, La Grand Ventron, Bocklochkopf/Vogesen