What if the holotype of Pterodactylus kochi (Nr. 23) of Wellnhofer 1970, turns out to be a juvenile closer to the adult Germanodactylus rhamphastinus (Nr. 64)? Which name changes? David Peters St. Louis