$RVV Es ist eine gute Zeit, um zu shorten