Full text: Institutionen des Deutschen Verwaltungsrechts.