Viele \qedhere hinzugefügt.