The consistency strength of determinacy when all sets are universally Baire - Sandra Müller (2021)