Changed Kritzl.sql