Mania Portman (1915-2000)