How do I restart the Walther?

Press the green button on the Walther to turn it off and again to turn it on again. This should restart the Walther.