hvälfningan 1772 m . m.