f ist als Automorphismus der oberen Halbebene definert. Etwaige Fixpunkte sind daher nur in der oberen Halbebene zu suchen.