printf geaendert