This README describes howto move mysql database robtestproduction to postgresql

DATABASE CREATED?
Take care that the database has been created on alice! If not, then you have to create the database named robtestproduction on alice postgresql server before.

MOVE
Create a dump on robtestdb.physi.uni-heidelberg.de where the mysql server is running.
Use this command: mysqldump -u root -p robtestproduction > dump.sql
Use the script convert2psql to convert the dump into a psql readable format in the same directory where dump.sql resides.
Use command: ./convert2psql
The convert2psql script creates the file dump.4psql.sql. Copy this file into your alice home directory. You need postgresql admin rights.
Use command: psql robtestproduction -s -f dump.4psql.sql

CONVERT TO NEW CHANGES
There are some changes done on database structure.
Use command: psql robtestproduction -s -f change2newDB.sql
Be carfully!! Test the new databes on alice against mysql databe if really synchronised!!

USER,ROLES AND GRANT
Take care that you have to grant user rights again.