====== Typenlehre ======