Subduction of water into the mantle: History of an Alpine peridotite