the lock being released by means of a push button