Devil "vom Gehrensee"