Und auf 12500 Pauli-Fans beschränkt, kann also auch ein etwas kleineres Stadion sein.