1st Mountain Division — West German mountain infantry formation