Kleiner Riss im Variodeckel - Wo kommt der her und was ist zu tun?