0000000000000000000000000000000000000000 9d57e0327845f9d91ec1d248c6079a5d6c28e243 jdrechsel13 <jonathan.drechsel@gmx.de> 1744287953 +0200	branch: Created from origin/math-ir
9d57e0327845f9d91ec1d248c6079a5d6c28e243 fba689df416239b4ba91bcc8d8655655f27d9000 jdrechsel13 <jonathan.drechsel@gmx.de> 1745493414 +0200	commit: Adjustments for MAMUT
