( Arendals distrikt ).