Beweis zu 'Überlagerungen sind surjektiv' verbessert