Pool dinosaur found on the website of Hofmann Figuren, the company that manufactured the Hollywood Tour animatronics in Phantasialand. Does anyone know where this is?