The external gills and ornamentation of skull roof bones of the Lower Permian tetrapodDiscosauriscus (Kuhn 1933) with remarks to its ontogeny