Beim 5:0-Sieg gegen den FC St. Pauli übertrifft der FC Bayern München uralte Bestmarken – fast mit einem Fingerschnippen.