diff --git a/Release.md b/Release.md
new file mode 100644
index 0000000..ec35581
--- /dev/null
+++ b/Release.md
@@ -0,0 +1,9 @@
+1. Make sure you're on the `master` branch: `git checkout master`
+1. Make sure, that the branch is clean: `git status` should not show any pending change.
+   1. (Use `git stash` to stash them away for the release process.)
+1. Merge any relevant feature into `master`.
+2. Put the new version into the `VERSION` file: `echo "0.20.0" > VERSION`
+3. Make a commit with the version file change: `git commit -m "Preparation for $(cat VERSION)" VERSION`
+4. Tag that commit: `git tag "$(cat VERSION)"`
+5. Push the features and the tag: `git push --tags origin && git push origin`
+6. Eventually unstash your previous work: `git stash pop`
\ No newline at end of file