which the wallet will wire funds to the mint, as described in #3955 (message #9603).
Tue Oct 20 21:18:05 CEST 2015