Teaching introductory FP courses in Scala at Würzburg University