Stav dette: The Bochner integral