Thomas bug in Cologne