Sprengstofflager der ETA in Portugal entdeckt