Maserung eines Buntsandsteins.