https://de.wikipedia.org/wiki/Drehmatrix
Man beachte die Formel unter "Diese Matrixmultiplikation ergibt".
Für eine Drehung um einen Punkt, der nicht (0,0) ist, braucht es dann schon Kenntnisse in Affiner Geometrie. Dafür kann man zur Not mein RedeemerAffineGeometry aus
RedeemerSVG verwenden:
AffineTransformation(AffineRotation(90, 100, 200), Point(x,y))
<-- Das dreht den Punkt (x,y) an der Position (100,200) um 90°.