For (2), I think the key is the discussion Neukirch has earlier in that section (top of page 55), namely:
Let $\mathfrak{p}$ be a prime in $K$, and let $P_{\mathfrak{p}}$ be the set of primes of $L$ lying over $\mathfrak{p}$. Let $G=\mathrm{Gal}(N/K)$, and let $H=\mathrm{Gal}(N/L)$ be the subgroup corresponding to $H$. If $\mathfrak{P}$ is a prime of $N$ lying over $\mathfrak{p}$, then $G_{\mathfrak{P}} = \{\sigma\in G\mid \sigma\mathfrak{P}=\mathfrak{P}\}$, the decomposition group of $\mathfrak{P}$, is also a subgroup of $G$.
Neukirch states (and leaves as an exercise) that the map from the double cosets of $G$ modulo $H$ and $G_{\mathfrak{P}}$, $H\setminus G/G_{\mathfrak{P}}$ to $P_{\mathfrak{p}}$ given by $H\sigma G_{\mathfrak{P}} \longmapsto \sigma \mathfrak{P}\cap L$ gives a bijection between the double cosets and $P_{\mathfrak{p}}$.
Assume that this is indeed the case (that is, the bijection is as given; I'll prove it below).
Showing that $\mathfrak{p}$ splits completely is equivalent to showing that $G_{\mathfrak{P}}$ is trivial (middle of page 54). So we prove that $G_{\mathfrak{P}}$ is trivial if and only if $\mathfrak{p}$ splits completely in $L$.
If $G_{\mathfrak{P}}$ is trivial (that is, if $\mathfrak{p}$ splits completely in $N$), then the double cosets are just the cosets of $H$ in $G$, and there are $[G:H] = [L:K]$ cosets (by the Fundamental Theorem of Galois Theory); that means that there are $[L:K]$ primes of $L$ lying over $\mathfrak{p}$, so $\mathfrak{p}$ splits completely in $L$ (this part can also be done simply by looking at the ramification and decomposition indices, which are multiplicative in towers).
Conversely, if $\mathfrak{p}$ splits completely in $L$, then the number of double cosets $H\setminus G/G_{\mathfrak{P}}$ equals $[L:K] = [G:H]$; this is the same as the number of right cosets of $H$; since each double coset decomposes as a disjoint union of right cosets of $H$, it follows that $H\sigma G_{\mathfrak{P}} = H\sigma$ for all $\sigma\in G$, and in particular all conjugates of $G_{\mathfrak{P}}$ are contained in $H$. That is, the normal subgroup generated by $G_{\mathfrak{P}}$ is contained in $H$.
But since $N$ is the normal closure of $L$, and $H$ corresponds to $L$, then by the Fundamental Theorem of Galois Theory we know that $H$ is core-free: the largest normal subgroup of $G$ contained in $H$ is the trivial group. That means that the normal subgroup generated by the decomposition group is trivial, hence the decomposition group $G_{\mathfrak{P}}$ itself is trivial. And this proves that $\mathfrak{p}$ splits completely in $N$, as desired.
So it all comes down to establishing the bijection mentioned above: the map takes the double coset $H\sigma G_{\mathfrak{P}}$ to $\sigma\mathfrak{P}\cap L$.
First, the map is well defined: if $\tau\in G_{\mathfrak{P}}$, then $\tau\mathfrak{P}=\mathfrak{P}$, so $\sigma\mathfrak{P}\cap L = \sigma\tau\mathfrak{P}\cap L$. And if $\rho\in H$, then $\rho$ fixes $L$ pointwise, so $\rho\sigma\mathfrak{P}\cap L = \rho(\sigma\mathfrak{P}\cap L) = \sigma\mathfrak{P}\cap L$. So $\rho\sigma\tau$ corresponds to the same prime of $L$ as \sigma, and the map is well-defined.
To see that the map is onto, given any prime \mathfrak{q}$ of $L$ lying above $\mathfrak{p}$, there is a prime $\mathfrak{Q}$ of $N$ lying above $\mathfrak{q}$, and the transitive action of the Galois group guarantees the existence of $\sigma\in G$ such that $\sigma\mathfrak{P}=\mathfrak{Q}$. Thus, $H\sigma G_{\mathfrak{P}}$ maps to $\sigma\mathfrak{P}\cap L = \mathfrak{Q}\cap L = \mathfrak{q}$ (since $\mathfrak{Q}$ lies above $\mathfrak{q}). This proves that the map is onto.
Finally, to show that the map is one to one, suppose that \sigma\mathfrak{P}\cap L = \phi\mathfrak{P}\cap L = \mathfrak{q}$. Then $\sigma\mathfrak{P}$ and $\phi\mathfrak{P}$ both lie above $\mathfrak{q}$, so there exists $\rho\in \mathrm{Gal}(N/L) = H$ such that $\rho\sigma\mathfrak{P} = \phi\mathfrak{P}$. Therefore, $\phi^{-1}\rho\sigma\mathfrak{P} = \mathfrak{P}$, so $\phi^{-1}\tau\sigma\in G_{\mathfrak{P}}$, hence there exists $\rho\in G_{\mathfrak{P}}$ such that $\tau\sigma\rho^{-1} = \phi$. Hence, $\phi$ lies in the double coset $H\sigma G_{\mathfrak{P}}$, so $H\phi G_{\mathfrak{P}}=H\sigma G_{\mathfrak{P}}$, showing that the correspondence is one-to-one.