Beschränkung postinflationärer Axionen mit Pulsar-Timing-Arrays