--- a/marking2/danube.scala Tue Jan 22 12:53:05 2019 +0000 +++ b/marking2/danube.scala Mon Jan 28 12:49:19 2019 +0000 @@ -176,3 +176,5 @@ //List(1,2,3).take(2) //} + +