php8 only; added variable types; short array syntax; remove glyphicons

docs/10_Get_started/20_Installation_with_Docker.md

 # Installation with a local Docker service
 
 For development a docker environment is part of the repository data.
+You can use it for a first view on your own machine before installing it.
 
 ## Requirements