Kirche des Heiligen Ildefonso in Porto, Portugal. Wer war schon dort?