Ostheimer "Seehund klein"