Category:1742 in the Holy Roman Empire