Hydrogen-based propulsion concepts for aircraft are considered a promising technology towards the decarbonization of aviation. While the development of respective aircraft models is in progress, questions regarding the supply network of green hydrogen are arising. We present a formulation of the hydrogen supply chain network (HSCN) design problem that focuses on the aviation sector. The mixed-integer linear programming model minimizes the total cost of hydrogen supply by deciding on locations, capacities, transportation modes and flows. The respective supply chain starts with the generation of renewable electricity used in the electrolysis of water. The gas hydrogen obtained from this process is liquefied before being used to refuel the aircraft. Moreover, various transportation and storage processes for gas and liquid hydrogen are involved between the electrolyzers and the airports. Our model formulation considers the spatially dispersed availability of renewable electricity, the techno-economic characteristics of hydrogen storage, liquefaction and transportation (e.g., economies of scale), as well as the specific requirements of hydrogen handling (e.g., losses). The application is illustrated for Germany in 2050, considering the hydrogen pipeline backbone projection. Optimal network design and results are presented.