Vorhin erst ein äußerst fabelhaftes Feature meines DVD-Recorders entdeckt: den Kanal EXT1 aufzeichnen, auf dem sich der Output des Recorders befindet. Mit feinen Rekursionen garniert sehe ich somit nachher, wie ich den DVD-Recorder programmiert habe. (Eventuell eine Sonderedition zum 80. Geburtstag Niklas Luhmanns?)