Does anyone know what is the German sticker price for the 812 with and without VAT? I would like to compare it to the just published US prices. Based...