( kl. 12 ):