<sod >Police said the 20-year-old man, who has not been named, assaulted his victim in a toilet cubicle at the Theresienbad swimming pool in Vienna on 2 December last year.< eod>< sod > Police said the 20-year-old Iraqi refugee, who has not been named, assaulted his victim in a toilet cubicle at the Theresienbad swimming pool in Vienna on 2 December last year.< eod>