Gerrit, what did you do to crash your database? I'm just curious (so that we can avoid that). Anyway, good luck.