R.I.P. Anne Mills (1922-2018)