We consider balancing and model reduction by balanced truncation for infinite-dimensional linear systems. A functional analytic approach to state space transformations leading to balanced realizations is presented. These transformations can be further used to explicitly construct truncated balanced realizations. The presented approach is applicable to bounded well-posed linear systems with nuclear Hankel operator and finite-dimensional input and output space. Controllability and observability are not required.