We cleared immigration and customs in Frankfurt. We showed passport, vaccine card, electronic boarding pass to Santorini and return flight to US from Athens. Our border control officer was Greek and wished us a happy holiday. We had hand baggage only, and yes, in theory we could have left the airport. We then cleared security to renter the A gate area.