Mapbender stable 2.5.1 installation

After last week's failure to install the development version, I decided to stick to the stable 2.5.1 with MySQL - and it works perfectly - now to get back to the development version with Postgres...