What to do if the account key is compromised?

[mnordhoff]

@Takios

One more thing I was wondering: Am I correct that the certificate keys do not need to be changed, if only the account key is compromised but the cert keys are safe?

You're right. You might want to replace your certificates as a precaution anyway.