shigatoxin-producing Escherichia coli in chilled filet americain from Belgium