Analyze the Bachl-example a bit more. (and add results as comments)
merge