Die Straßennamen der Stadt Hallein, (mit Plan) - Penninger, Ernst (1971)