4200? sind die normalen Preise bei den Händlern,unter 3700-3800? kriegst Du sie auch auf Börsen nicht,die Rote um das Doppelte.
Harry