GNU Taler: Taxable Anonymous Libre Electronic Reserve