Holmestrand den 3 december.