TV Rolsen — i manuali di servizio