Merge branch 'develop' of...

Merge branch 'develop' of https://gitlab2.informatik.uni-wuerzburg.de/descartes/librede.git into develop

Readme.md

@@ -2,10 +2,4 @@
 
 LibReDE is a library for resource demand estimation. Resource demands are a common input parameter to stochastic performance models (e.g., Queueing Networks, or Queueing Petri Nets). LibReDE helps to determine resource demand values based on monitoring data from a system (e.g., CPU utilization, response time, or throughput).
 
-# Downloads
-
-Binary downloads are coming soon...
-
-# Documentation
-
-A user documentation is currently prepared...
\ No newline at end of file
+For more information, please refer to the official website: [LibReDE](http://descartes.tools/librede)
\ No newline at end of file