Definition of "hornfels"

hornfels