Dedekind not implies PID

Statement
There exist Dedekind domains which are not principal ideal domains.

Proof
In fact, any ring of integers in a number field is a Dedekind domain, but most of them are not PIDs (in fact, they are not even unique factorization domains). For instance, consider the ring:

$$\mathbb{Z}\left[\sqrt{-5}\right]$$