/*
 * versuch4_write-file.c
 *
 *  Created on: Dec 1, 2025
 *      Author: jonny
 */

void versuch4_write_file(void);