I have three specimens of Apateon fossils in my collection. They are all from the Niederhausen region in Germany. Two of them are supposed to be Apateon pedestris, the third (the litlle fat one) is a Branchiosaurus Petrolei. But, Petrolei is an obsolete name and identical to pedestris, am I correct? Thanx for any feedback.