Paper tape fan-folder Was: Re: Punched cards - which paper/cardboard?