[UPDATE] [mittel] Varnish HTTP Cache: Schwachstelle ermöglicht Denial of Service