shigatoxin-producing Escherichia coli (O157 stx1 stx2 eae /25g) in chilled beef from Belgium