what happened to the ten boom family