Verwaltungsrecht als Bestandteil des öffentlichen Rechts