Debye-Waller factor for He/Pt(111)