Finally I found it. I was sure WP_DEBUG in wp-config.php was set to true, but it wasn’t. So after changing this I got a message saying that 20 characters is maximum for a post type name.
[Sun Apr 08 18:29:44.083267 2018] [:error] [pid 5901] [client
127.0.0.1:45860] PHP Notice: register_post_type wurde fehlerhaft aufgerufen. Der Name eines Inhaltstyps
muss aus mindestens einem und maximal 20 Zeichen bestehen. Weitere
Informationen: Debugging in
WordPress (engl.) (Diese Meldung wurde in Version 4.2.0
hinzugef\xc3\xbcgt.) in /var/www/rpc/wp-includes/functions.php on line
4147, referer:
http://rpc.lkl/wp-admin/plugins.php?plugin_status=all&paged=1&s
I chose a shorter name, and now it shows up!