e. m. : kl. 12,10 ( gödel.