anchor.diff:  annotations, these are stored in files on disk). For production use, it is highly recommended to
   use a separate MySQL database instead of the embedded SQL database.
   
  -To configure WebAnno to use a separate database, place a file called `settings.properties` into the
  -data folder that you mount into the WebAnno container. It should contain the following contents:
  +You can do so by providing a second Docker for mysql (see for example https://hub.docker.com/_/mysql/).
  +We provide a docker-compose example file, which combines the two containers. In order to use this, download https://raw.githubusercontent.com/webanno/webanno/master/webanno-webapp/src/main/docker/docker-compose.yml and place it into any folder, change to that folder, and issue the commands 
   
  +[source,text,subs="+attributes"]
   ----
  -database.dialect=org.hibernate.dialect.MySQL5InnoDBDialect
  -database.driver=com.mysql.jdbc.Driver
  -database.url=jdbc:mysql://localhost:3306/webanno
  -database.username=webanno
  -database.password=t0t4llYSecreT
  +export WEBANNO_HOME=/srv/webanno
  +export WEBANNO_PORT=8080
  +docker-compose -p webanno up -d
   ----
   
  -NOTE: The settings are just examples. Adjust the database URL, username, and password according to
  -      your MySQL setup.
  +This will start two docker containers: webanno_mysqlserver_1, and webanno_webserver_1. You can check the logs of each by running 
  +
  +[source,text,subs="+attributes"]
  +----
  +docker logs webanno_mysqlserver_1
  +docker logs webanno_webserver_1
  +----
  +
  +Two directories in your WebAnno home folder will be created: mysql-data and webserver-data. No data is stored in the containers themselves, you are safe to delete them with 
  +
  +[source,text,subs="+attributes"]
  +----
  +docker-compose -p webanno down
  +----
  +
  +You can also just stop or pause them, please see the docker-compose reference for details: https://docs.docker.com/compose/.
  +
  +NOTE: The settings within the docker-compose.yml file are just examples. Adjust the database URL, username, and password accordingly.
   
   
  
positive.code: docker start -ai webanno
  ----
  
  Again, the logs will be printed to the console. To stop the container, press `CTRL-C`.
  
  ==== Storing data on the host
  
  
negative.code: 
  [source,text,subs="+attributes"]
  ----
  docker run -it --name webanno -v /srv/webanno:/export -p8080:8080 webanno/webanno:{revnumber}
  ----
  
  ==== Connecting to a MySQL database
  