Patch by Andreas Franke <afranke@ags.uni-sb.de> git-svn-id: svn://10.0.0.236/trunk@97331 18797224-902f-48f8-a5cc-f745e15eee43
Patch by Andreas Franke <afranke@ags.uni-sb.de> git-svn-id: svn://10.0.0.236/trunk@97331 18797224-902f-48f8-a5cc-f745e15eee43