{
    "lang_bootMenuWarning": "The boot menu is outdated or has not been generated.",
    "lang_configure": "Configure",
    "lang_intro": "This is the bwLehrpool configuration interface.",
    "lang_minilinuxMissing": "Important files from the mini Linux installation are missing.",
    "lang_systemConfiguration": "System Configuration",
    "lang_systemConfigurationNotChosen": "A system configuration has not been chosen yet.",
    "lang_vmLocationNotSet": "A location for the virtual machine is not set yet.",
    "lang_welcome": "Welcome"
}