Så slutade revolutionen i Holmestrand.