christoph: domino + installation + migrieren + server