Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2021-04-26 15:33 660 grundgesetze.dtx 2021-04-26 17:05 33K grundgesetze.ins 2014-03-22 18:33 282 grundgesetze.pdf 2021-04-26 17:05 221K