@Wolfgang:

Ja, geschrumpft! Aber nur in der Breite. Neben dem positiven Nebeneffekt gibt es auch einen negativen: Meine Hosen passen nicht mehr.

Lothar