( 7711 ) DIBEKTIONEN.