anchor.diff:  
   [source,text,subs="+attributes"]
   ----
  -docker run -it --name webanno -v /srv/webanno:/export -p8080:18080 webanno/webanno:{revnumber}
  +docker run -it --name webanno -v /srv/webanno:/export -p8080:8080 webanno/webanno:{revnumber}
   ----
   
   ==== Connecting to a MySQL database
  
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 -p8080:8080 webanno/webanno:{revnumber}
  ----
  
  The command download WebAnno from Dockerhub and starts it on port 8080. If this port is not
  available on your machine, you should provide another port to the `-p` parameter. 
  
  The logs will be printed to the console. To stop the container, press `CTRL-C`.
  
  To run the WebAnno docker in the background use 
  
  [source,text,subs="+attributes"]
  ----
  docker run -d --name webanno -p8080:8080 webanno/webanno:{revnumber}
  ----
  
  Logs are accessible by typing 
  
  [source,text,subs="+attributes"]
  ----
  docker logs webanno
  ----
  
  NOTE: Use `docker run` only the first time that you run WebAnno. If you try it a second time, Docker
        will complain about the name `webanno` already being in use. If you follow Docker`s suggestion
  