Zwergpanzer in Garnelenbecken - retten oder lassen?