Infinitely generated pseudocompact modules for finite groups and Weiss' Theorem