הלכה לעולמה השופטת בדימוס אלישבע ברק-אוסוסקין, רעייתו של אהרן ברק