I discovered a workaround. After resizing the browser window, we need to call the resize() method of the map object. This seems to update internally the margin/position of the map.
This look like that the map object does not update its margin correctly in IE8/IE9.
Bernd