Das königlich sächsische gesetz über die verwaltungsrechtspflege vom 19. juli 1900 und die nebengesetze vom 20. und 21. juli 1900