Pirmasens Federal state Rheinland-Pfalz District Pirmasens, kreisfreie Stadt Kreisfreie Stadt Municipality Pirmasens, Stadt Kreisfreie Stadt