Definition of Gavelherte