OK, danke. Der Patch hat mich weiter gebracht:
http://www.i-doit.de/forum/index.php/topic,384.0.html
Nun war die Installationsprozedur erfolgreich und ich kann mich ins Portal einloggen…
... und nun folgen die nächsten Probleme... mehr dazu in einem anderen Eintrag...
Danke für den Tipp
stefan