Gertrude Blum (1910-1993).