Paul Henrik gir seg som biblioteksjef i Tromsø etter 14 år - disse har søkt på stillingen