It’s supposed to be automatic, but actually you have to push this button.

- John Brunner