Frisch, 0.