Title: Punched tape techniques in documentation centres with punched card or EDPM installations