This monarch was the king of Spain who also became the Holy Roman Emperor