( § , Hofstedt.