BEGIN { FS="^" }
# $ = "Nr" int(11) NOT NULL AUTO_INCREMENT,
# $1 = "Titel" varchar(255) DEFAULT NULL,
# $2 = "Autor" varchar(100) DEFAULT NULL,
# $3 = "Jahr" varchar(4) DEFAULT NULL,
# $ = "Klasse" enum('Uebersetzerbau','Programmiersprachen','Theoretische Informatik','Software Engineering','Datenbanksysteme','Betriebssysteme','Einfuehrungen','Hardware','Sonstiges') DEFAULT NULL,
# $ = "Reihe" varchar(150) DEFAULT NULL,
# $ = "Band" varchar(20) DEFAULT NULL,
# $7 = "Verlag" varchar(50) DEFAULT NULL,
# $8 = "Ort" varchar(50) DEFAULT NULL,
# $9 = "ISBN" varchar(20) DEFAULT NULL,
# $10 = "Inventar" varchar(10) DEFAULT NULL,
# $ = "Bestelldatum" date DEFAULT NULL,
# $ = "Inventardatum" date DEFAULT NULL,
# $ = "Lieferant" int(11) DEFAULT NULL,
# $ = "Bezahlung" enum('Odot','Buecherbudget') DEFAULT NULL,
# $ = "Preis" decimal(10,2) DEFAULT NULL,
# $ = "Bib" blob,
# $17 = "Abstract" blob,
# $18 = "Art" enum('Buch','Buch mit CD','CD','Diplomarbeit','Dissertation','Habilitation') DEFAULT 'Buch',
# $ = "Status" enum('Bestellt','Abgelehnt','Verfuegbar','Vermisst') DEFAULT 'Verfuegbar',
# $ = "angelegtvon" int(11) unsigned DEFAULT NULL,
# $ = "angelegtam" datetime DEFAULT '0000-00-00 00:00:00',
# $ = "updatevon" int(11) unsigned DEFAULT NULL,
# $ = "updateam" datetime DEFAULT '0000-00-00 00:00:00',
{ print $1"^"$2"^"$3"^"$7"^"$8"^"$9"^"$10"^"$17"^"$18 }