A hornfels is a contact metamorphic rock performed anamorphism of with kind of the metamorphic rock by heat. In Horn corner and Felsen cliff, rock of German, it is a hornfels. The meaning seems to be called `a hard rock`.