I det hela hafva dessa omhvälfningarverkat