Use the spin button to select the desired RPM or to choose "Drain/Pump Stop".
Using an outdated or incorrect manual can lead to several issues:
Sites selling PDFs for $5.99 or claiming “2024 updated manual” for the WDI 63113 are almost always repackaging the free official file. Gorenje has not released any major revision to this model since 2020. The latest official version is dated 2021-09 (check the footer of page 2).