Thanks guys. This is not a tiptronic or a dsg, as some of you know, for sure. This is some kind of a semi-automatic gearbox, an ordinary manual with little gremlins inside shifting for you

I still dont know whether the behaviour of the gearbox is normal. One mechanic told me it is, the other the opposite....