Leopold I, Holy Roman Emperor - Petersen, Nils Holger (Encyclopedia of the bible and its reception, 2018)