../ README 30-Jul-2025 19:34 660 grundgesetze.dtx 30-Jul-2025 19:34 33937 grundgesetze.ins 30-Jul-2025 19:34 282 grundgesetze.pdf 30-Jul-2025 19:34 226629