Maria Thomas (1913-2001)