Where does “mantel” come from?

mantel (Middle High German) comes from Old High German mantal, from Latin mantēllum, from Latin mantum, from Gaulish mantos, from Proto-Celtic mantos, from Proto-Indo-European menH- — tread, press together; crumble.