Rainbow Fish (UK dub)

What if Rainbow Fish had a UK dub that aired on Nick Jr. UK between 2000-2001?