Andreas Lingnau 596831a790 Update and rename gu-hochschule.txt to deutschehochschule.txt ... The domain name has been changed.		2024-05-22 13:22:49 +02:00
..
domains	Update and rename gu-hochschule.txt to deutschehochschule.txt	2024-05-22 13:22:49 +02:00