database uses the default port 5432.  But it happened that I had to change it.