kravspec och db.php