Johanna Maria Theresia de Jong (1927-2010)