In the Infineon shield documentation I haven't found a function (or hardware pinout etc) that could be used to control motor direction. Start, Stop, Speed are all fine, but Direction - no.
Anyone knows?
Well, after posting this message I got an idea and tested it. Solution: A minus sign for the speed parameter in function setMotorSpeed did the job!