under det förflutna året och diskontot nådde Oktober en för Holland nästan okänd höjd.