Ist Softwareoptimierung nachweisbar?