Changes to ticket 5125de2e62

By stephan on 2009-11-30 14:39:04. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   stephan added on 2009-11-30 14:39:04:
   This is basically the same as #705181a992.