#include <stdio.h>

int main()
{
 printf("Diese Ausgabe soll in einer Textdatei stehen\n");
 return 0;
}