Semiklassische Eigenwertasymptotik für den Bochner-Laplace eines positiven Linienbündels auf einer symplektischen Mannigfaltigkeit