folien: verifikation und kleine anpassung am Makefile fuer "hwmodskel" release