Wie viel kommen denn mit Porto am Ende raus? (Ich denke nicht, dass ich mitmache, aber man kann ja mal fragen.)