Typenscheine für ZERO S ZF ?