The Hauptrogenstein Formation is a geologic formation in Germany and Switzerland. It preserves fossils that date back to the Middle Jurassic period (Bajocian-Bathonian).
List as per Miedema et al. (2024):