Berlin police introduces electroshock weapons for patrolling officers