preußischen Ministerium der öffentlichen Arbeiten