In memoriam: Robert M. Stern (1937–2020). (25th July 2020)