$RE kann noch steigen