Borelscher Fixpunktsatz