Prevalence of Symptoms of Posttraumatic Stress Disorder in German Professional Firefighters