Merge branch 'mquat2' of git-st.inf.tu-dresden.de:johannes.mey/relast into mquat2

1 job for mquat2 in 1 minute and 9 seconds (queued for 2 seconds)