Ruth Bader Ginsburg (1933–2020)