Das heisst dann, dass das letzte gedrückte Char (In dem Fall der Line Feed vom CRLF beim Druck auf Enter) ausgewertet wird.
Kann sein, dass das so ne Eigenart von scanf ist.

Mit "auswahl = getchar();" müsste das dann aber eigentlich klappen. getchar wartet ja auch auf nen Tastendruck, sollte aber die davor gedrückten Zeichen zurückgeben.