cin.bad() geaendert