Interface structure of Si(111)-(√3 × √3)R30°-ErSi2 − x