Infortunadamente "Gigantosaurus" ya estaba ocupado por otro dinosaurio europeo.