How many German pilots were killed?