At the time, what infringement could not be prosecuted under criminal copyright law