Beweis 'Überlagerungen sind surjektiv' hinzugefügt