Греденский песчаник
(Grö dener Sandstein) — красный песчаник пермского возраста, развитый в Южном Тироле и эквивалентный германскому красному лежню (см. Пермская система).