The nervus terminalis (nerve of pinkus) in the frog