[ 13 ] A . Hörner.