Model Isabelle rør (0)