de: beenden (3.