I don't think germany had tornados in the gulf in 91. Afaik, the only time after WW2 that german aircraft have been actively engaging enemy targets was in Kosovo 1999.
I could be wrong, but I do remember the political and public upcry when our former government requested german troops to be deployed to Kosovo as part of a fighting force. I kinda doubt this upcry would have been as vocal as it was if german fighters had already taken part in the first gulf war 8 years earlier.
Correct me if I'm wrong, but I'm too lazy to google it.