Das Lemma ist zwar kurz, aber es einfach kommentarlos wegzudirekten finde ich auch nicht ok. Darum reverte ich das mal.