הותר לפרסום שמו של הילד שנחנק למוות במהלך משחק בחול: יחיאל מיכל הרבסט ז"ל.