...but the local weather sucked nevertheless: still 86% humidity at 2100.

Today is also the day on which I gave in (to a recommendation by a friend) and spent $249 on a Rowenta DH4120 dehumidifier (on special/clearance at Hardly Normal, RRP $590 or so). It's now been running since 1730 and I just emptied out 4l of water, and the relative humidity inside is now 68%, not qute perfect yet but not as dripping wet as earlier.

We'll see how the thing does over the next few days, especially whether it's big enough to handle the 200m^3 of my place.