Der Name Trevelin steht für: