Rename aufg4.1.c to aufg5.1.c