#include <stdio.h>
int main(void) {
printf("Diese Ausgabe soll in einer Textdatei stehen\n");
return 0;

}