File:Holy Roman Emperor Leopold I.png