Ist es okay, $VVV jetzt zu shorten, Leute?