Rename deinprogramm.quickcheck to active.quickcheck/"Active QuickCheck".