Wann kostete Porto 80 Pfennig?