Då konung Ludvig dog , 1715,