, r ¬ TYSKLAND.