Laudachsee, Katzenstein