changed MunchauseNumber.scala to MuenchhausenNumber.scala.