Wie viel sind 8000 Peseten?