ridge prominence of Edelsberg in the Allgäu Alps in Bavaria, Germany