Minor correction

Jon says that I was mistaken (ahem, but I got my info from him) about there being no window screens available in Germany. You can buy them in a German hardware store; they are about 45 Euros (about $56 at today's exchange rate) per window. A bit of an investment...