Stav dette: Derivation and martingales