Existence and uniqueness of Bowen-York Trumpets

We prove the existence of initial data sets which possess an asymptotically flat and an asymptotically cylindrical end. Such geometries are known as trumpets in the community of numerical relativists.