Wie groß muss eine Krabbeldecke sein?