How do I buy an international ticket from an NS ticket machine using a discount card?

There are NS ticket machines at almost every station in the Netherlands. There are different types of ticket machines. You can buy international tickets at the NS ticket machine with the blue light sign that shows the NS logo at the top. Complete the following steps:
  1. Select English as the screen language.
  2. Press the Other products button.
  3. Press the Other countries box.
  4. Choose between the To Belgium/Luxembourg and the To Germany buttons.
  5. Select the required product (Single, Return, etc.).
  6. Enter the 1st letter of your destination.
  7. Select one of the destinations shown.
  8. Select the required age category (Adult, Child, etc.).
  9. Choose between 1st Class and 2nd Class.
  10. Choose from the various discount options (NS route with discount, NS route free, etc.).
  11. Choose between Valid today and Other date of travel.
  12. Select the number of tickets you want (1x, 2x or 3x).
  13. Complete the booking by making your payment (by debit card, with coins (with a maximum of € 80) or by credit card).
  14. You receive a paper ticket with a chip (single-use smartcard).

How would you rate this answer?