[david_sc]

best avg100: 12.96 (σ = 1.57)
11.35, 12.79, 15.11, 12.29, 13.90, 11.50, 12.86, (9.83), 13.14, 14.70, 13.39, 16.41, 12.72, 12.42, 12.47, 10.03, 13.98, 15.72, 15.63, 10.45, 10.40, 10.34, 15.47, 12.09, 12.17, 12.00, 13.03, 13.02, 11.58, 13.45, 12.21, 15.68, 12.21, 10.34, 12.52, 11.54, 11.84, 10.70, 14.87, 13.01, 12.01, 12.68, 14.90, 13.40, 13.14, 11.84, 16.21, 13.98, 13.66, 9.98, 16.15, 12.05, (16.57), 12.74, 10.57, 13.57, 14.85, 13.52, 12.54, 13.25, 12.44, 13.87, 10.86, 16.27, 14.44, 11.33, 12.74, 11.88, 12.64, 12.56, 11.76, 15.46, 13.12, 16.46, 12.62, 12.38, 15.82, 10.22, 11.92, 12.36, 13.12, 11.77, 13.43, 12.66, 14.43, 11.30, 13.21, 10.94, 11.56, 14.63, 11.97, 14.11, 13.76, 11.95, 12.56, 13.58, 12.41, 13.28, 14.22, 13.46

PB vorher war 13.33, also mehr als deutlich unterboten