Bayernfauna: Symphyta: genus Brachythops