Zu welcher Waffenart im Sinne des Waffengesetzes zählt eine Doppelflinte?