diff -r 447ed6c7cdad -r db5cb071644d progs/app1.scala
--- a/progs/app1.scala	Mon Sep 24 11:05:39 2018 +0100
+++ b/progs/app1.scala	Tue Sep 25 00:27:06 2018 +0100
@@ -1,4 +1,4 @@
 def get_page(url: String) : String = {
-  Try(Source.fromURL(url).take(10000).mkString).
-     getOrElse { println(s"  Problem with: $url"); ""}
+ Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString).
+    getOrElse { println(s"  Problem with: $url"); ""}
 }