In the Area of Validity map, there is the area

between Grindelwald and Jungfraujoch, and Lauterbrunnen and Jungfraujoch, that are dotted lines. May I confirm that those areas are covered by the Saver Day Pass plus the Swiss Half Fare card, and that I do not have to pay extra?
Does the Saver Day Pass plus the Swiss Half fare Card cover cogwheel trains, cable cars, and funiculars in the Bernese Overland area?
Thank you.