soln omgifwcr mannen med jernmasken;