Okay, thanks!
Btw., the dealership seems to already run tests with a new / improved software release on their own cars, but they were not able to tell me if and when they can put the software on customer cars... But of course I have no clue if that bug is fixed by this new software.