--- /dev/null
+definition module TeamMiniEffie\r
+\r
+/** This module implements a team of simple minded football players.\r
+ Use it for testing Soccer-Fun.\r
+*/\r
+\r
+import Team\r
+\r
+Team_MiniEffies :: !Home !FootballField -> Team\r
+base_TeamName_MiniEffie :: String\r