May G’d cherish and bless the Ten Boom family