Ilustrasi pemilihan Kaisar Romawi Suci pada tahun 1742