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