Packages from the vendor tugraz

tugraz/dummy