Yep - there's quite a few German Tornados carrying ADS-B nowadays, generally from JBG32 out of Lechfeld,although like I said with most military kit, they swap them around regularly
For the record, most of the EADS machines operating from Manching also carry ADS-B now
Obviously this doesn't equate to it 100% being a Tornado as this code isn't confirmed, but all the mil sites seem to indicate it as such??
Who knows?
Rgds
Rich