Engagement of Pinchos Wyler to Shevi Grunfeld