-#: src/player_status.cpp:142
-msgid "COINS"
-msgstr "Münzen"
-
-#: src/options_menu.cpp:51
-msgid "Fullscreen"
-msgstr "Vollbild"
-
-#: src/options_menu.cpp:53
-msgid "Sound"
-msgstr "Sound"
-
-#: src/options_menu.cpp:54
-msgid "Music"
-msgstr "Musik"
-
-#: src/options_menu.cpp:56
-msgid "Sound (disabled)"
-msgstr "Sound (deaktiviert)"
-
-#: src/options_menu.cpp:57
-msgid "Music (disabled)"
-msgstr "Musik (deaktiviert)"
-
-#: src/options_menu.cpp:59
-#: src/control/joystickkeyboardcontroller.cpp:572
-msgid "Setup Keyboard"
-msgstr "Tastenbelegung"
-
-#: src/options_menu.cpp:60
-#: src/control/joystickkeyboardcontroller.cpp:655
-msgid "Setup Joystick"
-msgstr "Joystickbelegung"
-
-#: src/options_menu.cpp:62
-#: src/title.cpp:88
-#: src/title.cpp:139
-#: src/title.cpp:189
-#: src/control/joystickkeyboardcontroller.cpp:581
-#: src/control/joystickkeyboardcontroller.cpp:665
-msgid "Back"
-msgstr "Zurück"
-
-#: src/title.cpp:82
-#: src/title.cpp:273
-msgid "Start Game"
-msgstr "Spiel starten"
-
-#: src/title.cpp:117
-#: src/title.cpp:274
-msgid "Contrib Levels"
-msgstr "Zusatzlevel"
-
-#: src/title.cpp:276
-msgid "Credits"
-msgstr "Mitwirkende"
-
-#: src/title.cpp:277
-msgid "Quit"
-msgstr "Beenden"