Cramér's estimate for a reflected Lévy process

The natural analogue for a Lévy process of Cramér's estimate for a reflected random walk is a statement about the exponential rate of decay of the tail of the characteristic measure of the height of an excursion above the minimum. We establish this estimate for any Lévy process with finite negative mean which satisfies Cramér's condition, and give an explicit formula for the limiting constant. Just as in the random walk case, this leads to a Poisson limit theorem for the number of "high excursions".