/* Name: welt.c;  diese Zeile ist ein Kommentar */
#include <stdio.h>

int main() {
  printf("Hallo, Welt!\n");
}