optimize file export

printing channel data into files via `print_channel()`  takes a suspiciously long time:  maybe potential for improving performance by e.g. manual buffering, precision manipulation, fixed point,....