Stav dette: Pathwise stochastic calculus with local times